Ricardo Silva-Santisteban's Documents

Ricardo Silva-Santisteban's Documents

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture ... Computer Science and General Issues)

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture ... Computer Science and General Issues)
Read more
Rheumatology in Practice

Rheumatology in Practice
Read more
Complex analysis and geometry: proceedings of the conference at Trento

Complex analysis and geometry: proceedings of the conference at Trento
Read more
Anatomia TC multidetettore - Body

Anatomia TC multidetettore - Body
Read more
Formal Methods: Foundations and Applications, 13th Brazilian Symposium on Formal Methods, SBMF 2010 Natal, Brazil, November 8-11, 2010

Formal Methods: Foundations and Applications, 13th Brazilian Symposium on Formal Methods, SBMF 2010 Natal, Brazil, November 8-11, 2010
Read more
On Second Language Writing

On Second Language Writing
Read more
A Synthesis of Research on Second Language Writing in English

A Synthesis of Research on Second Language Writing in English
Read more
Dependable Computing - EDCC-2: Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings

Dependable Computing - EDCC-2: Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings
Read more
Nanotechnology for Biology and Medicine: At the Building Block Level

Nanotechnology for Biology and Medicine: At the Building Block Level
Read more
Kinesiologie

Kinesiologie
Read more
Yoga: The Iyengar Way

Yoga: The Iyengar Way
Read more
The Impact of Economic Policies on Poverty and Income Distribution: Evaluation Techniques and Tools

The Impact of Economic Policies on Poverty and Income Distribution: Evaluation Techniques and Tools
Read more
Geometric models for noncommutative algebras

Geometric models for noncommutative algebras
Read more
Geometric Models for Noncommutative Algebra

Geometric Models for Noncommutative Algebra
Read more
Yoga: the Iyengar way

Yoga: the Iyengar way
Read more
Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers
Read more
Química Inorgânica Básica

Química Inorgânica Básica
Read more
Dynamic Characterisation of Analogue-to-Digital Converters

Dynamic Characterisation of Analogue-to-Digital Converters
Read more
The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500 TM Frontiers in Electronic Testing

The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500 TM Frontiers in Electronic Testing
Read more
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Read more
Soft Computing and Intelligent Systems Design: Theory, Tools and Applications

Soft Computing and Intelligent Systems Design: Theory, Tools and Applications
Read more
The Chemistry of Evolution: The Development of our Ecosystem

The Chemistry of Evolution: The Development of our Ecosystem
Read more
Sequential Methods and Their Applications

Sequential Methods and Their Applications
Read more
Complex analysis and geometry

Complex analysis and geometry
Read more
Sequential Methods and Their Applications

Sequential Methods and Their Applications
Read more
Inmersión en Python

Inmersión en Python
Read more
Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem

Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem
Read more
Robust Statistics

Robust Statistics
Read more
Intracerebral Hemorrhage

Intracerebral Hemorrhage
Read more
Navier-Stokes Equations and Turbulence (Encyclopedia of Mathematics and its Applications)

Navier-Stokes Equations and Turbulence (Encyclopedia of Mathematics and its Applications)
Read more